LXXIV. Notes on geological structure of Cader Idris

the structure of lie derivations on c*-algebras

نشان می دهیم که هر اشتقاق لی روی یک c^*-جبر به شکل استاندارد است، یعنی می تواند به طور یکتا به مجموع یک اشتقاق لی و یک اثر مرکز مقدار تجزیه شود. کلمات کلیدی: اشتقاق، اشتقاق لی، c^*-جبر.

Lxxiv. Studies on Pectin

idris-mode: Idris interaction with emacs

This document describes the interaction of the Idris compiler with the editor emacs, to facilitate a lightweight development environment for Idris programs in emacs. The goal of the ideslave mode is to provide from Idris a structured input and output command processor, which supports all features available in the command line version of the Idris compiler.

the effects of changing roughness on the flow structure in the bends

flow in natural river bends is a complex and turbulent phenomenon which affects the scour and sedimentations and causes an irregular bed topography on the bed. for the reason, the flow hydralics and the parameters which affect the flow to be studied and understand. in this study the effect of bed and wall roughness using the software fluent discussed in a sharp 90-degree flume bend with 40.3cm ...

Geological Notes Diffusion of Water in Silicate Melts

The transport of water in silicate melts is examined from a theoretical point of view, taking into account the presence of both H20 and OH species. It was assumed that only H20 molecules may diffuse and that a constitutive relationship between the number density nH 0 of H20 molecules and the total water content (n:E) exists such that nH,o = g(n:E) . This is related to dissociation or to chemica...